calculus proof